$\forall$$p$:($\mathbb{Q}$ List), $F$:(\{0..$\parallel$$p$$\parallel^{-}$\}$\rightarrow\mathbb{Q}$). weighted{-}sum($p$;$F$) $\in$ $\mathbb{Q}$